Precise definition of infinite limits